Merge branch 'ci-file-filters' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 5 Jun 2021 01:47:24 +0000 (01:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 5 Jun 2021 01:47:24 +0000 (01:47 +0000)
GtkFileFilter: Allow case-insensitive patterns

Closes #3705

See merge request GNOME/gtk!359


Trivial merge